concat(${\it ll}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$l$,${\it l'}$. $l$ @ ${\it l'}$;nil;${\it ll}$)